========== Prerequisites ========================= 

  To build the MOP CFG Plugin generic and html frontends 
  you need the ocaml distribution and (possibly) menhir, a parser 
  generator that is an improvement over ocamlyacc.
  We provide the generated .ml files, so it is possible to build
  with just ocaml
  
  The English download page for ocaml is 
  http://caml.inria.fr/download.en.html
  
  menhir can be found at
  http://cristal.inria.fr/~fpottier/menhir/
  
  To run the plugin you need a maude installation.
  http://maude.cs.uiuc.edu  

=========== Building the html front end ===========

  1)  Edit the Makefile, change OCAMLC to either the path
      to ocamlc or ocamlopt.  Similarly change YACC to your
      path to menhir, and LEX to your path to ocamllex.
      (Note that this will NOT work with ocamlyacc)

  2)  On line 9 of cfg2html_parser.ml change 
      maude to be the path to your maude installation 
      (or in cfg2html_parser.mly if you have menhir installed)

  3)  Run make
      
=========== Building the plugin front end ===========

  1)  Edit the Makefile, change OCAMLC to either the path
      to ocamlc or ocamlopt.  Similarly change YACC to your
      path to menhir, and LEX to your path to ocamllex.
      (Note that this will NOT work with ocamlyacc)

  2)  On line 9 of cfgplugin_parser.ml change 
      maude to be the path to your maude installation 
      (or in cfgplugin_parser.mly if you have menhir installed)

  3)  Run make
 
=========== Running the html frontend ===========

  ./cfg2html < example.cfg

=========== Running the plugin frontend =========
 
 ./cfgplugin < example.cfg
